Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
201	String Edit Distance (and intro to dynamic programming) Lecture #4 Computational Linguistics CMPSCI 591N, Spring 2006 Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Software engineering Computer programming Mathematics Dynamic programming Functional languages Quantitative linguistics Equations Systems engineering Levenshtein distance University of Massachusetts Amherst Fibonacci number Edit distance
202	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
203	02157 Functional Programming - Lecture 3: Lists Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:47:17 Software engineering Computer programming Declarative programming Functional languages Higher-order functions Programming language comparisons Append Functional programming Lisp Technical University of Denmark Map MRH
204	All-Termination(T) Aaron Turon Northeastern University (joint work with Pete Manolios) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:24 Software engineering Computer programming Computing Data types Functional programming Abstract data types Recursion Subroutines Theoretical computer science Cons List Termination analysis
205	A semidefinite programming hierarchy for geometric packing problems David de Laat Joint work with Frank Vallentin 4th SDP days – March 2013 Add to Reading List Source URL: www.daviddelaat.nl Language: English Mathematics Linear algebra Dual space Functional analysis Spectral theory Operator theory Moving load
206	The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:01 Software Computing Functional languages Wolfram Mathematica Lisp Anonymous function Eval Computer algebra system SageMath Scheme Functional programming Relational operator
207	dependent types logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:31 Latin alphabets Append Functional programming Lisp Cyrillic alphabets Estonian language Computing Notation
208	XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Software engineering Computer programming Computing Functional languages Data types Query languages Knowledge representation Functional programming XQuery Recursive data type Tree Well-formed formula
209	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system
210	In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Software development Programming idioms Computability theory Functional programming Theoretical computer science Logic programming Unfolding Recursion Free variables and bound variables Symbolic computation

UPDATE